Verification of snowpack radiation transfer models using actinometry
نویسندگان
چکیده
منابع مشابه
automatic verification of authentication protocols using genetic programming
implicit and unobserved errors and vulnerabilities issues usually arise in cryptographic protocols and especially in authentication protocols. this may enable an attacker to make serious damages to the desired system, such as having the access to or changing secret documents, interfering in bank transactions, having access to users’ accounts, or may be having the control all over the syste...
15 صفحه اولRadiation decay in snowpack
This discussion paper is/has been under review for the journal Atmospheric Chemistry and Physics (ACP). Please refer to the corresponding final paper in ACP if available. Abstract Snow photochemical processes drive production of chemical trace gases, including nitrogen oxides (NO and NO 2), and HO x radicals in snowpacks which are then released to the lower atmosphere. Coupled atmosphere–snow m...
متن کاملSAPHIR actinometry
Actinometric measurements of NO2 photolysis frequencies in the atmosphere simulation chamber SAPHIR B. Bohn, F. Rohrer, T. Brauers, and A. Wahner Institut für Chemie und Dynamik der Geosphäre II: Troposphäre, Forschungszentrum Jülich, 52425 Jülich, Germany Received: 25 October 2004 – Accepted: 2 December 2004 – Published: 8 December 2004 Correspondence to: B. Bohn ([email protected]) © 2004 ...
متن کاملCamera based EPID dosimetric verification of radiation treatments
Introduction: Tumor control and treatment quality depend on accuracy of delivered dose. Various methods have been studied for treatment dosimetry verification. Among these methods, the use of electronic portal imaging device (EPID) is highly considered. Many efforts are underway to improve the results of this context. Materials and Methods: In this study, ...
متن کاملVerification of Plan Models Using UPPAAL
This paper describes work on the veriication of HSTS, the planner and sched-uler of the Remote Agent autonomous control system deployed in Deep Space 1 (DS1))8]. The veriication is done using UPPAAL, a real time model checking tool 6]. We start by motivating our work in the introduction. Then we give a brief description of HSTS and UPPAAL. After that, we give a mapping of HSTS models into UPPAA...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Geophysical Research
سال: 2005
ISSN: 0148-0227
DOI: 10.1029/2004jd005552